--- src/atipcirename.h.orig	2013-02-07 04:53:52.000000000 -0300
+++ src/atipcirename.h	2018-06-17 21:57:35.025129536 -0300
@@ -35,6 +35,7 @@
 };
 
 #include "xf86Module.h"
+#include <stdint.h>
 
 #if GET_ABI_MAJOR(ABI_VIDEODRV_VERSION) >= 12
 
